Перевод: с русского на английский

с английского на русский

исчисление предикатов с несколькими сортами переменных

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»